(wait_reading_process_input): Call
authorGerd Moellmann <gerd@gnu.org>
Thu, 19 Apr 2001 12:47:33 +0000 (12:47 +0000)
committerGerd Moellmann <gerd@gnu.org>
Thu, 19 Apr 2001 12:47:33 +0000 (12:47 +0000)
commit6be78cb5cd937f971ec5c3c6412492d68adbf66e
tree6cb27dcf21e5c8d1b13fb7817d45598b49f0c451
parentd1ebd7a9fb35df1ca40d2d27d5ec7f56deb06859
(wait_reading_process_input): Call
record_asynch_buffer_change after running timers, to make
read_key_sequence aware of buffer changes from under it.
src/process.c